logic of sets

集(合)逻辑